-
1 metalogical symbol
Большой англо-русский и русско-английский словарь > metalogical symbol
-
2 metalogical symbol
Математика: металогический символ -
3 metalogical symbol
логика -
4 metalogical
Большой англо-русский и русско-английский словарь > metalogical
-
5 metalogical
-
6 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
7 металогический символ
metalogical symbol логикаРусско-английский научно-технический словарь Масловского > металогический символ
-
8 металогический символ
Большой англо-русский и русско-английский словарь > металогический символ
-
9 металогический символ
Mathematics: metalogical symbolУниверсальный русско-английский словарь > металогический символ
См. также в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Functional predicate — In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia
Metalogic — is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.[1] According to… … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia